COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1984 NSF Grant	(grant no.: DCR-8414393) (start: 1984 december 15)
C00005 ENDMK
C⊗;
1984 NSF Grant	(grant no.: DCR-8414393) (start: 1984 december 15)
((amounts: FY1985: $121,619) (FY1986: $134,328) (FY1987: $151,585))
renewal proposals should be sent 1985 Sept 1, 1986 Sept 1, 1987 June 1

This is the Shankar Ketonen grant.
John,	Here is the information on your new NSF grant (title: "Research
in Mechanical Theorem Proving"):
	
	Account no.:  	    2-DMA489
	Fund no.:	    163C895
	NSF ref. no.:	    CCR-8718605
	Amount:		    $172,351
	Performance period: 1/1/88-12/31/88 (plus 6 mo. flexibility period)

-Sharon Bergman
-------

∂19-Sep-89  1316	bergman@Polya.Stanford.EDU 	new NSF grant    
Received: from Polya.Stanford.EDU by SAIL.Stanford.EDU with TCP; 19 Sep 89  13:16:25 PDT
Received:  by Polya.Stanford.EDU (5.61/25-eef) id AA25186; Tue, 19 Sep 89 13:16:38 -0700
Date: Tue, 19 Sep 1989 13:16:37 PDT
From: Sharon Bergman <bergman@Polya.Stanford.EDU>
To: jmc@sail
Cc: clt@sail, mps@sail, littell@Polya.Stanford.EDU, bscott@Polya.Stanford.EDU,
        bergman@Polya.Stanford.EDU, val@sail
Subject: new NSF grant 
Message-Id: <CMM.0.88.622239397.bergman@Polya.Stanford.EDU>

John,   Here is the account number for your new NSF grant (BASIC
RESEARCH IN AI):

	Account number:		2-DMA531
	Fund number:		163D006
	NSF reference number:	IRI-8904611
	Performance period:	8/1/89-7/31/92 (plus 6 months flex. period)

-Sharon Bergman
John,   This is a 3-year continuing grant.  If the 2nd and 3rd years are
funded, the end date is 7/31/92.  2nd and 3rd year funding is
contingent on the availability of funds and the scientific progress of
the project.
-Sharon